Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
301	Liouville type properties for embedded minimal surfaces William H. Meeks III∗, Joaqu´ın P´erez†, Antonio Ros March 9, 2006 Abstract Add to Reading List Source URL: www.ugr.es Language: English - Date: 2006-04-18 12:00:46 Riemann surfaces Differential geometry Differential geometry of surfaces Bernhard Riemann Differential topology Minimal surface Harmonic function Uniformization theorem Gaussian curvature Ergodic theory Sigma-algebra
302	Uniqueness Typing Simplified—Technical Appendix Edsko de Vries∗ Department of Computer Science Trinity College Dublin, Ireland August 13, 2008 Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Logic in computer science Models of computation Computability theory Metalogic Model theory Simply typed lambda calculus Lambda calculus CurryHoward correspondence Intuitionistic type theory
303	785 Documenta Math. A Geometric Quantization of the Kostant–Sekiguchi Correspondence for Scalar Type Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2013-06-18 15:16:50 Representation theory of Lie groups Lie algebras Lie groups Operator theory Quantum mechanics Oscillator representation Orbit method Nilpotent orbit Representation theory Hilbert space Complexification Bessel function
304	GRADUATE SCHOOL APPROVAL RECORD NORTHEASTERN UNIVERSITY Graduate College of Computer and Information Science Dissertation Title: Author: Department: Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2016-07-01 10:16:31 Lambda calculus Scheme Lambda Calculus Type theory
305	Motivation Context Encoding Add to Reading List Source URL: places08.di.fc.ul.pt Language: English - Date: 2011-01-31 06:33:44 Type theory Data types Procedural programming languages Polymorphism Cross-platform software Subtyping Type system Go -calculus System F ALGOL 68 Cons
306	Black and White Local Invariants of Mappings from Surfaces into Three-Space Kevin Houston School of Mathematics, University of Leeds, Leeds, LS2 9JT, U.K. e-mail: Add to Reading List Source URL: www.kevinhouston.net Language: English - Date: 2010-09-20 07:30:40 String theory Symplectic topology Finite type invariant Manifold Invariant Stable map Emmy Noether
307	Type-Directed Automatic Incrementalization Yan Chen Joshua Dunfield Umut A. Acar Max Planck Institute for Software Systems June 12, 2012 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2012-09-07 17:01:51 Graph Graph theory SYmbolic LinK
308	CS364B: Exercise Set #2 Due by the beginning of class on Wednesday, January 22, 2014 Instructions: (1) Turn in your solutions to all of the following exercises directly to the TA (Okke). Please type your solutions if pos Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-01-23 01:04:01 Auction theory Game theory Auctions Competitive equilibrium VickreyClarkeGroves auction Auction General equilibrium theory Q
309	1255 Documenta Math. Enumerating Exceptional Collections of Line Bundles on Some Surfaces of General Type Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2015-11-09 06:28:14 Symbol Divisor Cohomology Valuation Riemann surfaces Geometric group theory Geometric topology Orbifold
310	DCMMSData Model (Database Level) Copyright © DORSCH Consult, NGWA Copyright © DC Water and Environment DCMMS Landmark Add to Reading List Source URL: dcmms.sourceforge.net. Language: English - Date: 2009-02-25 15:11:29 Piping Plumbing Bathrooms Building engineering Type theory Pipe DN Piping and plumbing fitting Type conversion Subtyping

UPDATE